1. Artificial Intelligence in Logic Design
پدیدآورنده : by Svetlana N. Yanushkevich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
2. Iteration Theories :
پدیدآورنده : by Stephen L. Bloom, Zoltán Ésik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
B978
1993
3. Logical Methods
پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
4. Structural Complexity II
پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA267
.
B956
1990
